Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
211	TALx86: A Realistic Typed Assembly Language∗ Greg Morrisett Karl Crary† Neal Glew Dan Grossman Richard Samuels Frederick Smith David Walker Stephanie Weirich Steve Zdancewic Cornell University Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:25 Assembly languages Data types X86 architecture C programming language Assemblers Calling convention Low-level programming language X86 MOV Computing Computer architecture Software engineering
212	COMS21103 Priority queues and Dijkstra’s algorithm Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-01-08 09:09:07 Abstraction Computer science Software engineering Double-ended priority queue Abstract data types Priority queue Queue
213	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:44 Data types C++ Abstract data types ALGOL 68 Pointer C++ classes Sequence container List Linked list Computing Software engineering Computer programming
214	slide 1 gaius Double linked list implementation in C++ recall our single list implementation earlier in the series Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:44 Software engineering Abstract data types Linked lists Pointer Sequence container Doubly linked list List Lookup table Unrolled linked list Computing Computer programming Data types
215	mxQueue Fast Queue Data-Type for Python Veersion Add to Reading List Source URL: www.egenix.com Language: English - Date: 2014-07-11 03:51:17 Computer programming Python Queue Message-oriented middleware Scheduling algorithms Priority queue IBM WebSphere MQ Software engineering Computing Abstract data types
216	Verification and testing of mobile robot navigation algorithms: A case study in SPARK Piotr Trojanek and Kerstin Eder Abstract— Navigation algorithms are fundamental for mobile robots. While the correctness of the algo Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-08-20 15:36:18 Data types Procedural programming languages Cross-platform software C++ Standard Library Theoretical computer science SPARK Vector Field Histogram Ada C Computing Software engineering Computer programming
217	Future Contracts ∗ Christos Dimoulas Riccardo Pucella Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Monitor Partition Stack Queue Abstract data types Mathematics Concurrency control
218	On Understanding Data Abstraction, Revisited William R. Cook University of Texas at Austin [removed] Abstract Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-04-07 18:47:44 Data types Object-oriented programming Type theory Abstract data types Programming paradigms Type system Abstraction Set Abstract type Software engineering Computing Computer programming
219	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
220	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types

UPDATE